1. Predicate calculus and program semantics
Author: Dijkstra, Edsger W
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Predicate calculus ► Programming languages(Electronic computers)- Semantics
Classification :
511
D575p
